
int mystrlen(const char*s);
